A Systematic Approach to System State Restoration during Storage Controller Micro-Recovery

نویسندگان

  • Sangeetha Seshadri
  • Lawrence Chiu
  • Ling Liu
چکیده

Micro-recovery, or failure recovery at a fine granularity, is a promising approach to improve the recovery time of software for modern storage systems. Instead of stalling the whole system during failure recovery, micro-recovery can facilitate recovery by a single thread while the system continues to run. A key challenge in performing micro-recovery is to be able to perform efficient and effective state restoration while accounting for dynamic dependencies between multiple threads in a highly concurrent environment. We present Log(Lock), a practical and flexible architecture for performing state restoration without re-architecting legacy code. We formally model thread dependencies based on accesses to both shared state and resources. The Log(Lock) execution model tracks dependencies at runtime and captures the failure context through the restoration level. We develop restoration protocols based on recovery points and restoration levels that identify when micro-recovery is possible and the recovery actions that need to be performed for a given failure context. We have implemented Log(Lock) in a real enterprise storage controller. Our experimental evaluation shows that Log(Lock)-enabled micro-recovery is efficient. It imposes < 10% overhead on normal performance and <35% overhead during actual recovery. However, the 35% performance overhead observed during recovery lasts only six seconds and replaces the four seconds of downtime that would result from a system restart.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tracking and Shape Control of a Micro-cantilever using Electrostatic Actuation

In this paper the problems of state estimation, tracking control and shape control in a micro-cantilever beam with nonlinear electrostatic actuation are investigated. The system’s partial differential equation of motion is converted into a set of ordinary differential equations by projection method. Observabillity of the system is proven and a state estimation system is designed using extended ...

متن کامل

Robust Lyapunov-based Control of MEMS Optical Switches

In this paper, a robust PID control scheme is proposed for Micro-Electro-Mechanical-Systems (MEMS) optical switches. The proposed approach is designed in a way which solves two challenging and important problems. The first one is successful reference tracking and the second is mitigating the system nonlinearities. The overall system composed of nonlinear MEMS dynamics and the PID controller is ...

متن کامل

Robust Lyapunov-based Control of MEMS Optical Switches

In this paper, a robust PID control scheme is proposed for Micro-Electro-Mechanical-Systems (MEMS) optical switches. The proposed approach is designed in a way which solves two challenging and important problems. The first one is successful reference tracking and the second is mitigating the system nonlinearities. The overall system composed of nonlinear MEMS dynamics and the PID controller is ...

متن کامل

Hardware in Loop of a Generalized Predictive Controller for a Micro Grid DC System of Renewable Energy Sources

In this paper, a hardware in the loop simulation (HIL) is presented. This application is purposed as the first step before a real implementation of a Generalized Predictive Control (GPC) on a micro-grid system located at the Military University Campus in Cajica, Colombia. The designed GPC, looks for keep the battery bank State of Charge (SOC) over the 70% and under the 90%, what ensures the bes...

متن کامل

Robust H_∞ Controller design based on Generalized Dynamic Observer for Uncertain Singular system with Disturbance

This paper presents a robust ∞_H controller design, based on a generalized dynamic observer for uncertain singular systems in the presence of disturbance. The controller guarantees that the closed loop system be admissible. The main advantage of this method is that the uncertainty can be found in the system, the input and the output matrices. Also the generalized dynamic observer is used to est...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009